Tham khảo Kiểu_mạnh_và_kiểu_yếu

  1. Liskov, B; Zilles, S (1974). “Programming with abstract data types”. ACM Sigplan Notices. CiteSeerX: 10.1.1.136.3043.
  2. Jackson, K. (1977). “Parallel processing and modular software construction”. Lecture Notes in Computer Science. Lecture Notes in Computer Science. 54: 436–443. doi:10.1007/BFb0021435. ISBN 3-540-08360-X.[liên kết hỏng]
  3. Typing: Strong vs. Weak, Static vs. Dynamic[nguồn không đáng tin?]
  4. “Type-punning and strict-aliasing, Thiago Macieira”. Bản gốc lưu trữ ngày 27 tháng 10 năm 2014. Truy cập ngày 5 tháng 11 năm 2013.
  5. A hacked Boolean
  6. ftp://gatekeeper.research.compaq.com/pub/DEC/SRC/research-reports/SRC-045.pdf%5B%5D trang 3
Những lĩnh vực chính của khoa học máy tính
Các nền tảng toán học
Lý thuyết phép tính
Các cấu trúc dữ liệu
các giải thuật
Các ngôn ngữ lập trình
Các trình biên dịch
Tính song hành,
Song song,
và các hệ thống phân tán
Công nghệ phần mềm
Kiến trúc hệ thống
Viễn thông
Mạng máy tính
Các cơ sở dữ liệu
Các hệ thống thông tin
Trí tuệ nhân tạo
Đồ họa máy tính
Giao diện người-máy tính
Khoa học tính toán
Chú ý: khoa học máy tính còn có thể được chia thành nhiều chủ đề hay nhiều lĩnh vực khác dựa theo Hệ thống xếp loại điện toán ACM.